- теория логики
- logic theory
Русско-английский словарь по электронике. 2009.
теория логики
Look at other dictionaries:
ТЕОРИЯ ПОЗНАНИЯ — Гносеология (от греч. gno sis знание, logos слово, понятие), Эпистемолог и я (от греч. episteme знание) раздел философии, исследующий природу человеческого познания, его источники и предпосылки, отношение знания к предмету познания, условия… … Философская энциклопедия
ТЕОРИЯ — (от греч. theoria рассмотрение, исследование) совокупность высказываний, замкнутых относительно логического следования. Такое предельно общее и наиболее абстрактное определение Т. дает логика. С логической т.зр. теорией можно назвать любое… … Философская энциклопедия
Теория моделей — Теория моделей раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями, или моделями. Название теория моделей было впервые предложено Тарским в 1954 году. Основное развитие теория … Википедия
ТЕОРИЯ ИНТУИЦИИ В ФЕНОМЕНОЛОГИИ ГУССЕРЛЯ — ’ТЕОРИЯ ИНТУИЦИИ В ФЕНОМЕНОЛОГИИ ГУССЕРЛЯ’ (‘Théorie de l intuition dans la phénoménologie de Husserl’, 1930) первая работа Левинаса и первая фундаментальная интерпретация феноменологии Гуссерля во франкоязычной философии. В предисловии и семи… … История Философии: Энциклопедия
теория — ТЕОРИЯ В широком смысле комплекс взглядов, представлений, идей, направленных на истолкование и объяснение какого либо явления; в более узком и специальном смысле высшая, самая развитая форма организации научного знания, дающая целостное… … Энциклопедия эпистемологии и философии науки
Теория чисел — Теория чисел, или высшая арифметика раздел математики, изучающий целые числа и сходные объекты. В теории чисел в широком смысле рассматриваются как алгебраические, так и трансцендентные числа, а также функции различного происхождения, которые… … Википедия
Теория — (греч. θεωρία рассмотрение, исследование) учение, система идей или принципов. Является совокупностью обобщенных положений, образующих науку или ее раздел. Теория выступает как форма синтетического знания, в границах которой отдельные… … Википедия
ТЕОРИЯ В ЛОГИКЕ — ТЕОРИЯ В ЛОГИКЕ представляет собой логически связную систему предложений. В качестве логической связи используются процедуры дедукции, формализующие отношение выводимости. В зависимости от степени проясненности (выявленности) дедуктивных… … Философская энциклопедия
ТЕОРИЯ НАУЧНАЯ — наиболее развитая форма организации научного знания, дающая целостное представление о закономерностях и существенных связях изучаемой области действительности. Примерами Т.н. являются классическая механика И. Ньютона, корпускулярная и волновая… … Философская энциклопедия
ТЕОРИЯ ТИПОВ — англ. theory, types; нем. Typentheorie. Способ построения формальной (математической) логики, при к ром вводится различение объектов нескольких уровней (типов). Ее суть состоит в различении по типам: индивидов (тип 1), их свойств (тип 2), свойств … Энциклопедия социологии
Теория вычислимости — Теория вычислимости, также известная как теория рекурсивных функций, это раздел современной математики, лежащий на стыке математической логики, теории алгоритмов и информатики, возникший в результате изучения понятий вычислимости и невычислимости … Википедия
